info/FAQ

Research articles

My Pages

Stat

Members: 3645
Articles: 2'506'133
Articles rated: 2609

28 April 2024

» search

Search for articles, messages and online reviews

Results 1 to 15 of 15 for query "John Tromp". (0.00 sec.)

Kolmogorov Random Graphs and the Incompressibility Method
Harry Buhrman; Ming Li; John Tromp; Paul Vitanyi;
18 Oct 2001 / H. Buhrman, M. Li, J. Tromp and P.M.B. Vitanyi, Kolmogorov random graphs and the incompressibility method, SIAM J. Comput., 29:2(2000), 590--599

Limits of Rush Hour Logic Complexity
John Tromp; Rudi Cilibrasi;
15 Feb 2005

Sharpening Occam's Razor
Ming Li; John Tromp; Paul Vitanyi;
8 Dec 2001

Algorithmic Statistics
Peter Gacs; John Tromp; Paul Vitanyi;
30 Jun 2000 / IEEE Transactions on Information Theory, Vol. 47, No. 6, September 2001, pp 2443-2463

Mutual Search
Harry Buhrman; Matthew Franklin; Juan A. Garay; Jaap-Henk Hoepman; John Tromp; Paul Vitanyi;
2 Feb 1999

Reversible Simulation of Irreversible Computation by Pebble Games
Ming Li; John Tromp; Paul Vitanyi;
6 Mar 1997 / Physica D120 (1998) 168-176

Reversible Simulation of Irreversible Computation by Pebble Games
Ming Li; John Tromp; Paul Vitanyi;
6 Mar 1997 / Physica D120 (1998) 168-176

Enumerating Lambda Terms by Weighted Length of Their De Bruijn Representation
Olivier Bodini; Bernhard Gittenberger; Zbigniew Gołębiewski;
7 Jul 2017

Initial sequencing and comparative analysis of the mouse genome
; Robert H Waterston; Kerstin Lindblad-Toh; Ewan Birney; Jane Rogers; Josep F Abril; Pankaj Agarwal; Richa Agarwala; Rachel Ainscough; Marina Alexandersson; Peter An; Stylianos E Antonarakis; John Attwood; Robert Baertsch; Jonathon Bailey; Karen Barlow; Stephan Beck; Eric Berry; Bruce Birren; Toby Bloom; Peer Bork; Marc Botcherby; Nicolas Bray; Michael R Brent; Daniel G Brown; Stephen D Brown; Carol Bult; John Burton; Jonathan Butler; Robert D Campbell; Piero Carninci; Simon Cawley; Francesca Chiaromonte; Asif T Chinwalla; Deanna M Church; Michele Clamp; Christopher Clee; Francis S Collins; Lisa L Cook; Richard R Copley; Alan Coulson; Olivier Couronne; James Cuff; Val Curwen; Tim Cutts; Mark Daly; Robert David; Joy Davies; Kimberly D Delehaunty; Justin Deri; Emmanouil T Dermitzakis; Colin Dewey; Nicholas J Dickens; Mark Diekhans; Sheila Dodge; Inna Dubchak; Diane M Dunn; Sean R Eddy; Laura Elnitski; Richard D Emes; Pallavi Eswara; Eduardo Eyras; Adam Felsenfeld; Ginger A Fewell; Paul Flicek; Karen Foley; Wayne N Frankel; Lucinda A Fulton; Robert S Fulton; Terrence S Furey; Diane Gage; Richard A Gibbs; Gustavo Glusman; Sante Gnerre; Nick Goldman; Leo Goodstadt; Darren Grafham; Tina A Graves; Eric D Green; Simon Gregory; Roderic Guigó; Mark Guyer; Ross C Hardison; David Haussler; Yoshihide Hayashizaki; LaDeana W Hillier; Angela Hinrichs; Wratko Hlavina; Timothy Holzer; Fan Hsu; Axin Hua; Tim Hubbard; Adrienne Hunt; Ian Jackson; David B Jaffe; L Steven Johnson; Matthew Jones; Thomas A Jones; Ann Joy; Michael Kamal; Elinor K Karlsson; Donna Karolchik; Arkadiusz Kasprzyk; Jun Kawai; Evan Keibler; Cristyn Kells; W James Kent; Andrew Kirby; Diana L Kolbe; Ian Korf; Raju S Kucherlapati; Edward J Kulbokas; David Kulp; Tom Landers; J P Leger; Steven Leonard; Ivica Letunic; Rosie Levine; Jia Li; Ming Li; Christine Lloyd; Susan Lucas; Bin Ma; Donna R Maglott; Elaine R Mardis; Lucy Matthews; Evan Mauceli; John H Mayer; Megan McCarthy; W Richard McCombie; Stuart McLaren; Kirsten McLay; John D McPherson; Jim Meldrim; Beverley Meredith; Jill P Mesirov; Webb Miller; Tracie L Miner; Emmanuel Mongin; Kate T Montgomery; Michael Morgan; Richard Mott; James C Mullikin; Donna M Muzny; William E Nash; Joanne O Nelson; Michael N Nhan; Robert Nicol; Zemin Ning; Chad Nusbaum; Michael J O'Connor; Yasushi Okazaki; Karen Oliver; Emma Overton-Larty; Lior Pachter; Genís Parra; Kymberlie H Pepin; Jane Peterson; Pavel Pevzner; Robert Plumb; Craig S Pohl; Alex Poliakov; Tracy C Ponce; Chris P Ponting; Simon Potter; Michael Quail; Alexandre Reymond; Bruce A Roe; Krishna M Roskin; Edward M Rubin; Alistair G Rust; Ralph Santos; Victor Sapojnikov; Brian Schultz; Jörg Schultz; Matthias S Schwartz; Scott Schwartz; Carol Scott; Steven Seaman; Steve Searle; Ted Sharpe; Andrew Sheridan; Ratna Shownkeen; Sarah Sims; Jonathan B Singer; Guy Slater; Arian Smit; Douglas R Smith; Brian Spencer; Arne Stabenau; Nicole Stange-Thomann; Charles Sugnet; Mikita Suyama; Glenn Tesler; Johanna Thompson; David Torrents; Evanne Trevaskis; John Tromp; Catherine Ucla; Abel Ureta-Vidal; Jade P Vinson; Andrew C Von Niederhausern; Claire M Wade; Melanie Wall; Ryan J Weber; Robert B Weiss; Michael C Wendl; Anthony P West; Kris Wetterstr; Raymond Wheeler; Simon Whelan; Jamey Wierzbowski; David Willey; Sophie Williams; Richard K Wilson; Eitan Winter; Kim C Worley; Dudley Wyman; Shan Yang; Shiaw-Pyng Yang; Evgeny M Zdobnov; Michael C Zody; Eric S Lander;
5 Dec 2002 / Nature, 420 (6915), 520-62

10.

Counting and Generating Terms in the Binary Lambda Calculus (Extended version)
Katarzyna Grygiel; Pierre Lescanne;
17 Nov 2015

11.

On the number of lambda terms with prescribed size of their De Bruijn representation
Bernhard Gittenberger; Zbigniew Gołębiewski;
21 Sep 2015

12.

On the Complexity of the Single Individual SNP Haplotyping Problem
Rudi Cilibrasi; Leo van Iersel; Steven Kelk; John Tromp;
11 Aug 2005

13.

On the Complexity of Several Haplotyping Problems
Rudi Cilibrasi; Leo van Iersel; Steven Kelk; John Tromp;
13 May 2005

14.

Randomized Two-Process Wait-Free Test-and-Set
John Tromp; Paul Vitanyi;
28 Jun 2001

15.

Potential environmental impact of a hydrogen economy on the stratosphere
Tracey K Tromp; Run-Lie Shia; Mark Allen; John M Eiler; Y L Yung;
13 Jun 2003 / Science, 300 (5626), 1740-2

ScienXe.org
» my Online CV
» Free

News, job offers and information for researchers and scientists:

home

contact

sitemap

Search for articles, messages and online reviews

Search in 2'506'133 articles.